An explicit approach to residues on and dualizing sheaves of arithmetic surfaces
نویسندگان
چکیده
We develop a theory of residues for arithmetic surfaces, establish the reciprocity law around a point, and use the residue maps to explicitly construct the dualizing sheaf of the surface. These are generalisations of known results for surfaces over a perfect field. In an appendix, explicit local ramification theory is used to recover the fact that in the case of a local complete intersection the dualizing and canonical sheaves coincide.
منابع مشابه
Faltings Modular Height and Self-intersection of Dualizing Sheaf
is finite under the following equivalence (cf. Theorem 3.1). For stable curves X and Y over OK , X is equivalent to Y if X ⊗OK OK′ ≃ Y ⊗OK OK′ for some finite extension field K ′ of K. In §1, we will consider semistability of the kernel of H(C,L) ⊗ OC → L, which gives a generalization of [PR]. In §2, an inequality of self-intersection and height will be treated. Finally, §3 is devoted to finite...
متن کاملOn the Arithmetic Self-intersection Number of the Dualizing Sheaf on Arithmetic Surfaces
We study the arithmetic self-intersection number of the dualizing sheaf on arithmetic surfaces with respect to morphisms of a particular kind. We obtain upper bounds for the arithmetic self-intersection number of the dualizing sheaf on minimal regular models of the modular curves associated with congruence subgroups Γ0(N) with square free level, as well as for the modular curves X(N) and the Fe...
متن کاملGraph Homology: Koszul and Verdier Duality
We show that Verdier duality for certain sheaves on the moduli spaces of graphs associated to Koszul operads corresponds to Koszul duality of operads. This in particular gives a conceptual explanation of the appearance of graph cohomology of both the commutative and Lie types in computations of the cohomology of the outer automorphism group of a free group. Another consequence is an explicit co...
متن کاملSelf-correspondences of K3 surfaces via moduli of sheaves and arithmetic hyperbolic reflection groups
An integral hyperbolic lattice is called reflective if its automorphism group is generated by reflections, up to finite index. Since 1981, it is known that their number is essentially finite. We show that K3 surfaces X over C with reflective Picard lattices can be characterized in terms of compositions of their self-correspondences via moduli of sheaves with primitive isotropic Mukai vector: Th...
متن کاملSemi-homogeneous Sheaves, Fourier-mukai Transforms and Moduli of Stable Sheaves on Abelian Surfaces
This paper studies stable sheaves on abelian surfaces of Picard number one. Our main tools are semi-homogeneous sheaves and Fourier-Mukai transforms. We introduce the notion of semi-homogeneous presentation and investigate the behavior of stable sheaves under Fourier-Mukai transforms. As a consequence, an affirmative proof is given to the conjecture proposed by Mukai in the 1980s. This paper al...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010